Probability distribution for simple tautologies

نویسنده

  • Marek Zaionc
چکیده

In this paper we investigate the size of the fraction of tautologies of the given length n against the number of all formulas of length n for implicational logic. We are specially interested in asymptotic behavior of this fraction. We demonstrate the relation between a number of premises of implicational formula and asymptotic probability of finding formula with this number of premises. Furthermore we investigate the distribution of this asymptotic probabilities. Distribution for all formulas is contrasted with the same distribution for tautologies only. We prove those distributions to be so different that enable us to estimate likelihood of truth for a given long formula. Despite of the fact that all discussed problems and methods in this paper are solved by mathematical means, the paper may have some philosophical impact on the understanding how much the phenomenon of truth is sporadic or frequent in random logical sentences.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Asymptotic Properties of Logics 1

This paper presents the number of results concerning problems of asymptotic densities in the variety of propositional logics. We investigate, for propositional formulas, the proportion of tautologies of the given length n against the number of all formulas of length n. We are specially interested in asymptotic behavior of this fraction. We show what the relation between a number of premises of ...

متن کامل

Assessment of Goodness of Fit Methods in Determining the Best Regional Probability Distribution of Rainfall Data

One of the most important problems in time series analysis of stream flow and rainfall data in an area is selecting the best probability distribution. Since the rainfall stations are associated and correlated with each other, so statistical analysis of the station data seamlessly are very important. Therefore, the first step in data analysis, is selecting the prevailing probability distribution...

متن کامل

Classical and Intuitionistic Logic Are Asymptotically Identical

This paper considers logical formulas built on the single binary connector of implication and a finite number of variables. When the number of variables becomes large, we prove the following quantitative results: asymptotically, all classical tautologies are simple tautologies. It follows that asymptotically, all classical tautologies are intuitionistic.

متن کامل

Estimation Methods for the Parameters of Birnbaum-Saunders Distribution

Abstract: Depending on the type of distribution, estimation of parameters are not sometimes simple in practice. In particular, this is the case for Birnbaum-Saunders distribution (BS). In this article, we present four different methods for estimating the parameters of a BS distribution. First, a simple graphical technique, analogous to probability plotting, is used to estimate the parameters an...

متن کامل

On the Asymptotic Density of Tautologies in Logic of Implication and Negation

The paper solves the problem of finding the asymptotic probability of the set of tautologies of classical logic with one propositional variable, implication and negation. We investigate the proportion of tautologies of the given length n among the number of all formulas of length n. We are especially interested in asymptotic behavior of this proportion when n→∞. If the limit exists it represent...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 355  شماره 

صفحات  -

تاریخ انتشار 2006